#include "rtthread.h"

int millis(void)
{
	return rt_tick_get();
}